DROPS

Document

Extended Abstract

DOI: 10.4230/LIPIcs.TIME.2023.14

An Event Calculus for Run-Time Reasoning (Extended Abstract)

Authors: Periklis Mantenoglou

Published in: LIPIcs, Volume 278, 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)

Abstract

In stream reasoning, the task is to derive high level abstractions of large data streams with minimal latency, as required by contemporary applications. This work presents an Event Calculus-based approach to stream reasoning, highlighting its core features and recent extensions.

Cite as

Periklis Mantenoglou. An Event Calculus for Run-Time Reasoning (Extended Abstract). In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 278, pp. 14:1-14:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{mantenoglou:LIPIcs.TIME.2023.14,
  author =	{Mantenoglou, Periklis},
  title =	{{An Event Calculus for Run-Time Reasoning}},
  booktitle =	{30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
  pages =	{14:1--14:3},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-298-3},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{278},
  editor =	{Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2023.14},
  URN =		{urn:nbn:de:0030-drops-191046},
  doi =		{10.4230/LIPIcs.TIME.2023.14},
  annote =	{Keywords: Event Calculus, temporal pattern matching, complex event recognition}
}

Search Results

Documents authored by Mantenoglou, Periklis

An Event Calculus for Run-Time Reasoning (Extended Abstract)

Abstract

Cite as

Thanks for your feedback!

Could not send message